A Theory of Time and Temporal Incidence Based on Instants and Periods

Time is fundamental in representing and reasoning about changing domains. A proper temporal representation requires characterizing two notions: (1) time itself, and (2) temporal incidence, i.e. the domain-independent properties for the truth-value of uents and events throughout time. There are some problematic issues such as the expression of instantaneous events and instantaneous holding of uents, the spec-iication of the properties for the temporal holding of uents and the Dividing Instant Problem. This paper presents a theory of time and temporal incidence which is more natural than its predecessors and satisfactorily addresses the issues above. Our theory of time, called IP, is based on having instants and periods at equal level. We deene a theory of temporal incidence upon it whose main original feature is the distinction between continuous and discrete uents.